The Semicontinuous Quasi-uniformity of a Frame
نویسندگان
چکیده
The aim of this note is to show how various facts in classical topology connected with semicontinuous functions and the semicontinuous quasi-uniformity have their counterparts in pointfree topology. In particular, we introduce the localic semicontinuous quasi-uniformity, which generalizes the semicontinuous quasiuniformity of a topological space (known to be one of the most important examples of transitive compatible quasi-uniformities). We show that it can be characterized in terms of the so called spectrum covers, via a construction introduced by the authors in a previous paper. Several consequences are derived.
منابع مشابه
The Semicontinuous Quasi-uniformity of a Frame, Revisited
In this note we present a new treatment of the pointfree version of the semicontinuous quasi-uniformity based on the new tool of the ring of arbitrary (not necessarily continuous) real-valued functions made available recently by J. Gutiérrez Garćıa, T. Kubiak and J. Picado [Localic real functions: a general setting, Journal of Pure and Applied Algebra 213 (2009) 1064-1074]. The purpose is to sh...
متن کاملTotally bounded frame quasi-uniformities
This paper considers totally bounded quasi-uniformities and quasi-proximities for frames and shows that for a given quasi-proximity ⊳ on a frame L there is a totally bounded quasi-uniformity on L that is the coarsest quasi-uniformity, and the only totally bounded quasi-uniformity, that determines ⊳. The constructions due to B. Banaschewski and A. Pultr of the Cauchy spectrum ψL and the compacti...
متن کاملA Method of Constructing Compatible Quasi-uniformities for an Arbitrary Frame
Abstract: Unlike a uniformity, a quasi-uniformity is not determined by its quasiuniform covers. However, a classical construction, due to Fletcher, which assigns a transitive quasi-uniformity to each family of interior-preserving open covers, allows to describe all transitive quasi-uniformities on the topological spaces in terms of those families of covers. In this paper we develop a pointfree ...
متن کاملCompleteness of Hutton $[0,1]$-quasi-uniformities induced by a crisp uniformity
In cite{Kats84}, Katsaras introduced a method for constructing a Hu-tton $[0,1]$-quasi-uniformity from a crisp uniformity. In this paper we present other different methods for making this based mainly in the concept of a fuzzy uniform structure. Furthermore, we prove that some of these methods preserve the completeness property of the quasi-uniformity. Moreover, we also show that Katsaras' con...
متن کاملUniformities and covering properties for partial frames (II)
This paper is a continuation of [Uniformities and covering properties for partial frames (I)], in which we make use of the notion of a partial frame, which is a meet-semilattice in which certain designated subsets are required to have joins, and finite meets distribute over these. After presenting there our axiomatization of partial frames, which we call $sels$-frames, we added structure, in th...
متن کامل